منابع مشابه
Justification by Infinite Loops
In an earlier paper we have shown that a proposition can have a welldefined probability value, even if its justification consists of an infinite linear chain. In the present paper we demonstrate that the same holds if the justification takes the form of a closed loop. Moreover, in the limit that the size of the loop tends to infinity, the probability value of the justified proposition is always...
متن کاملInfinite Simple Bol Loops
If the left multiplication group of a loop is simple, then the loop is simple. We use this observation to give examples of infinite simple Bol loops.
متن کاملAutomatic Repair of Infinite Loops
Research on automatic software repair is concerned with the development of systems that automatically detect and repair bugs. One well-known class of bugs is the infinite loop. Every computer programmer or user has, at least once, experienced this type of bug. We state the problem of repairing infinite loops in the context of test-suite based software repair: given a test suite with at least on...
متن کاملDetecting and Escaping Infinite Loops with Jolt
Infinite loops make applications unresponsive. Potential problems include lost work or output, denied access to application functionality, and a lack of responses to urgent events. We present Jolt, a novel system for dynamically detecting and escaping infinite loops. At the user’s request, Jolt attaches to an application to monitor its progress. Specifically, Jolt records the program state at t...
متن کاملJustification by faith.
n June 1997 a sixteen-year-old girl named Shannon Nixon began to I feel ill. Her parents belonged to the Faith Tabernacle Church, one of a number of American sects which believe that illness should be treated spiritually rather than medically. Accordingly, the Nkons prayed for Shannon and took her to be anointed at their church. Shannon reported that she felt better and that the spiritual treat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2010
ISSN: 0029-4527
DOI: 10.1215/00294527-2010-025